package ast;

import java.util.ArrayList;

public class AtomicLabel extends Label {
	
	private Term owner;
	private ArrayList<Term> influencers;
	
	public AtomicLabel(Term o, ArrayList<Term> plist)
	{
		owner = o;
		influencers = plist;
	}
	
	public Term getOwner() {
		return owner;
	}

	public ArrayList<Term> getInfluencers() {
		return influencers;
	}

	public String toString()
	{
		String res = "{" + owner + " <- ";
		for (int i = 0; i < influencers.size(); i++) {
			res += influencers.get(i);
			if (i < influencers.size() - 1)
				res += ", ";
		}
		res += "}";
		return res;
	}
	
}
